| 翻訳と辞書 |
| F. W. Lawvere ： ウィキペディア英語版 |
William Lawvere
Francis William Lawvere (; born February 9, 1937) is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
==Biography==
Lawvere studied continuum mechanics as an undergraduate with Clifford Truesdell. He learned of category theory while teaching a course on functional analysis for Truesdell, specifically from a problem in John L. Kelley's textbook ''General Topology''. Lawvere found it a promising framework for simple rigorous axioms for the physical ideas of Truesdell and Walter Noll. Truesdell supported Lawvere's application to study further with Samuel Eilenberg, a founder of category theory, at Columbia University in 1960.
Before completing the Ph.D. Lawvere spent a year in Berkeley as an informal student of model theory and set theory, following lectures by Alfred Tarski and Dana Scott. In his first teaching position at Reed College he was instructed to devise courses in calculus and abstract algebra from a foundational perspective. He tried to use the then current axiomatic set theory but found it unworkable for undergraduates, so he instead developed the first axioms for the more relevant composition of mappings of sets. He later streamlined those axioms into the ''Elementary Theory of the Category of Sets'' (1964) which became a key ingredient (the constant case) of elementary topos theory.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「William Lawvere」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|